Coq (software)

Qualität:

Rocq - Software zum maschinengestützten Beweisen mathematischer Aussagen. Diese Programmiersprache ist die 181.‑beliebteste im weltweiten Wikipedia-Ranking der Programmiersprachen und die 183.‑beliebteste Programmiersprache in der englischen Wikipedia. Der Artikel „Rocq“ in der englischen Wikipedia hat 44.6 Punkte für Qualität (Stand: 1. Juli 2025). Der Artikel enthält 26 Referenzen und 9 Abschnitte.

In dieser Sprachversion von Wikipedia hat der Artikel die beste Qualität. Außerdem ist dieser Artikel in dieser Sprachversion (englischen) der beliebteste.

Erfolge in der ganzen Zeit:

Englische Wikipedia:

Der 183.‑beliebteste in der Programmiersprachen in der englischen Wikipedia.

Globale Wikipedia:

Der 181.‑beliebteste in der Programmiersprachen.

Im Juni 2025 wurde der Artikel „Rocq“ von 2 Autoren in der englischen Wikipedia bearbeitet und von 2 Autoren in allen Sprachen verfasst.

Seit der Erstellung des Artikels „Rocq“ wurde sein Inhalt von 160 registrierten Benutzern der englischen Wikipedia verfasst und von 356 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel „Rocq“ belegt den 183. Platz im lokalen Ranking der Programmiersprachen in der englischen Wikipedia und den 181. Platz im globalen Ranking der Programmiersprachen in der ganzen Zeit.

Der Artikel wird 177 Mal in der englischen Wikipedia zitiert und in allen Sprachen 402 Mal zitiert.

Der höchste Autoreninteresse-Rang aus dem Jahr 2001:

• Lokales (Englische): Nr. 9680 im April 2004
• Globales: Nr. 21281 im April 2004

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Englische): Nr. 133581 im September 2013
• Globales: Nr. 189280 im Dezember 2014

Es gibt 12 Sprachversionen für diesen Artikel in der WikiRank-Datenbank (von den berücksichtigten 55 Wikipedia-Sprachausgaben).

Die Qualitäts- und Beliebtheitsbewertung basierte auf Wikipedia-Dumps vom 1. Juli 2025 (einschließlich Revisionsverlauf und Seitenaufrufe für frühere Jahre).

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Qualität.

#	Sprache	Qualitätsstufe	Qualitätsfaktor
1	Englische (en) Rocq		44.6474
2	Deutsche (de) Rocq		34.7991
3	Russische (ru) Coq		25.2814
4	Chinesische (zh) Coq		24.9332
5	Portugiesische (pt) Coq		24.1124
6	Ukrainische (uk) Coq		22.9433
7	Französische (fr) Rocq (logiciel)		20.7379
8	Finnische (fi) Coq		15.9638
9	Japanische (ja) Coq		14.7618
10	Griechische (el) Coq		14.2736

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Rocq		697 733
2	Französische (fr) Rocq (logiciel)		132 478
3	Russische (ru) Coq		100 524
4	Japanische (ja) Coq		81 853
5	Deutsche (de) Rocq		57 756
6	Chinesische (zh) Coq		35 142
7	Spanische (es) Coq		32 554
8	Portugiesische (pt) Coq		6 166
9	Griechische (el) Coq		4 045
10	Finnische (fi) Coq		2 100

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Popularität im letzten Monat.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Rocq		5 987
2	Französische (fr) Rocq (logiciel)		819
3	Japanische (ja) Coq		665
4	Russische (ru) Coq		423
5	Deutsche (de) Rocq		281
6	Chinesische (zh) Coq		219
7	Spanische (es) Coq		124
8	Portugiesische (pt) Coq		56
9	Griechische (el) Coq		22
10	Finnische (fi) Coq		19

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse.

#	Sprache	AI-Auszeichnung	Relativer AI
1	Englische (en) Rocq		160
2	Französische (fr) Rocq (logiciel)		80
3	Deutsche (de) Rocq		37
4	Russische (ru) Coq		23
5	Japanische (ja) Coq		17
6	Spanische (es) Coq		11
7	Ukrainische (uk) Coq		8
8	Chinesische (zh) Coq		8
9	Griechische (el) Coq		5
10	Niederländische (nl) Rocq		3

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse im letzten Monat.

#	Sprache	AI-Auszeichnung	Relativer AI
1	Englische (en) Rocq		2
2	Deutsche (de) Rocq		0
3	Griechische (el) Coq		0
4	Spanische (es) Coq		0
5	Finnische (fi) Coq		0
6	Französische (fr) Rocq (logiciel)		0
7	Japanische (ja) Coq		0
8	Niederländische (nl) Rocq		0
9	Portugiesische (pt) Coq		0
10	Russische (ru) Coq		0

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Anzahl an Zitaten.

Am 9. Dezember 2025 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Stranger Things, 2026 FIFA Fussball-Weltmeisterschaft, Lando Norris, Millie Bobby Brown, Sean Combs, Welcome to Derry, ChatGPT, Zoomania 2, Nekrolog 2025, Cassie.

In der englischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Dhurandhar, Philip Rivers, Google Chrome, Rehman Dakait, Sean Combs, It – Welcome to Derry, Deaths in 2025, Lando Norris, Bruce Lee, Cassie Ventura.

Das Projekt dient der automatischen relativen Auswertung der Artikel in den verschiedenen Sprachversionen von Wikipedia. Derzeit ermöglicht der Dienst den Vergleich von über 44 Millionen Wikipedia-Artikeln in 55 Sprachen. Die Qualitätsbewertung von Artikeln basiert auf Wikipedia-Dumps vom Juli 2025. Bei der Berechnung der aktuellen Popularität und des Interesses der Autoren an Artikeln wurden Daten vom Juni 2025 berücksichtigt. Für historische Werte der Popularität und des Autoreninteresses verwendete WikiRank Daten von 2001 bis 2025... Mehr Informationen